Books by author Matt Kaufmann

Showing 1 – 6 out of 6 results

1. 

   Computer-Aided Reasoning

   Matt Kaufmann, Panagiotis Manolios, J Strother Moore | Springer, 2000

   
   

   Low in stock at our supplier - Shipping in 13 - 18 days

   Language: English

   Binding: Hardback

   216.77 €

   Buy
2. 

   Interactive Theorem Proving

   Matt Kaufmann, Lawrence C. Paulson | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

   
   

   Low in stock at our supplier - Shipping in 14 - 21 days

   Language: English

   Binding: Paperback

   110.76 €

   Buy
3. 

   Computer-Aided Reasoning

   Matt Kaufmann, Panagiotis Manolios, J Strother Moore | Springer, Berlin, 2000

   
   

   50/50 - We search the world

   Language: English

   Binding: Hardback

   281.43 €

   Buy
4. 

   Computer-Aided Reasoning

   Matt Kaufmann, Panagiotis Manolios, J Strother Moore | Springer, Berlin, 2010

   
   

   Low in stock at our supplier - Shipping in 13 - 18 days

   Language: English

   Binding: Paperback

   216.77 €

   Buy
5. 

   Computer-Aided Reasoning

   Matt Kaufmann, Panagiotis Manolios, J. Strother Moore | Springer, Berlin, 2012

   
   

   50/50 - We search the world

   Language: English

   Binding: Paperback

   281.43 €

   Buy
6. 

   Computer-Aided Reasoning

   Matt Kaufmann, Panagiotis Manolios, J. Strother Moore | Springer, Berlin, 2000

   
   

   50/50 - We search the world

   Language: English

   Binding: Hardback

   365.24 €

   Buy

Poskytujeme zľavy pre študentov, učiteľov a držiteľa ISIC. Zistite viac